THE EFFECT OF CATHODIC PROTECTION POTENTIAL ON CORROSION FATIGUE CRACK GROWTH RATE OF AN OFFSHORE STRUCTURAL STEEL

Abstract— Duplicate tests have been performed to determine the effect of cathodic protection potential on corrosion fatigue crack growth rate of a modern offshore structural steel, produced by thermo-mechanically controlled processes. The experiments were carried out using compact tension specimens exposed to artificial seawater at 10°C and subjected to constant amplitude loading at 0.35 Hz. Reproducible results showed that the merits of cathodic protection potentials are strongly dependent on stress intensity ratio R and stress intensity range Δ K . It appears that a specific value of cathodic potential may not give comprehensive protection against corrosion fatigue within the spectrum of variable amplitude loading experienced in service. Fractography showed the initiation of secondary cracks on the fracture surface to be associated with the dissolution of calcium sulphide inclusions, regardless of imposed cathodic potential.     

肉灌肠中淀粉测定的操作要点及改进

主要目的是重新认识淀粉测定中的操作要点，并结合实践经验加以改进和完善，提高化验结果的准确度，更好地指导和监督生产。     

立式煤泥离心机在临涣选煤厂的应用

介绍了LLL10 30× 5 5 0B型立式离心机的结构原理 ,分析并评价了实际使用效果和经济效益     

合肥盆地演化及构造样式

合肥盆地位于华北地台、扬子地台和北淮扬褶皱带3大构造单元的结合部。由于受大别造山带和郯庐断裂长期活动的影响,总体上可以分为盆地基底形成阶段和盆地形成发展阶段,主要经历了印支期、燕山晚期、喜山晚期的冲断作用及燕山早期、喜山早期的伸展运动,形成了挤压构造、伸展构造、负反转构造和走滑构造等4种局部构造样式。现今的构造样式是上述5期构造运动叠加的结果。对合肥盆地构造特征进行系统研究,将为进行圈闭评价以及今后的钻探提供有利依据。      

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

焊缝超声检测的基本特征及操作要点

通过对焊缝超声波检测原理和检测系统实施过程的分析,论述了检测系统的要素组成;总结了检测实施过程的基本特征与缺陷判定、焊缝质量评定的关系以及存在的主要问题;提出了提高焊缝超声波检测可靠性应控制检测实施过程诸要素的途径和方法.     

应用遥感图像分析九江瑞昌地区构造与金铜成矿的关系

九瑞地区是长江中下游重要的金铜成矿区,遥感图像分析认为,北东东向断裂是主要的控矿构造,与北西向断裂的交汇部位是金铜成矿的有利地段。此外,环形构造又是另外一种控矿构造,目前所发现的金铜矿床均有物化探异常显示,并形成于环形构造的边缘。     

Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

鲁棒输出反馈控制系统设计

本文利用文献[10]中提出的线性系统特征结构配置结果和Hellman-Feynman定理,导 出了输出反馈系统闭环极点关于开环矩阵中受扰元素灵敏度的参数表达式,并在此基础上给 出了具有最小闭环极点灵敏度的输出反馈控制系统设计的一个算法.该算法简单、有效,且具 有较好的"最优性".